1

The Non-Interference Protection in BML

Year:
2009
Language:
english
File:
PDF, 384 KB
english, 2009
2

Termination of rewriting in the Calculus of Constructions

Year:
2003
Language:
english
File:
PDF, 868 KB
english, 2003
3

How Hard Is Positive Quantification?

Year:
2016
Language:
english
File:
PDF, 542 KB
english, 2016